Every étendue comes from a local equivalence relation
نویسندگان
چکیده
منابع مشابه
Every hendue comes from a local equivalence relation
Kock, A. and I. Moerdijk, Every &endue comes from a local equivalence relation, Journal of Pure and Applied Algebra 82 (1992) 155-174. We first prove that, under suitable connectedness assumptions, the equivariant sheaves for a local equivalence relation on a space (or a locale) form an &endue topos. Our main result is that conversely, every &endue can be obtained in this way.
متن کاملAn Equivalence Relation for Local Path Sets
We propose a novel enhancement to the task of collision-testing a set of local paths. Our approach circumvents expensive collision-tests, yet it declares a continuum of paths collision-free by exploiting both the structure of paths and the outcome of previous tests. We define a homotopy-like equivalence relation among local paths and provide algorithms to (1) classify paths based on equivalence...
متن کاملON THE COMPATIBILITY OF A CRISP RELATION WITH A FUZZY EQUIVALENCE RELATION
In a recent paper, De Baets et al. have characterized the fuzzytolerance and fuzzy equivalence relations that a given strict order relation iscompatible with. In this paper, we generalize this characterization by consideringan arbitrary (crisp) relation instead of a strict order relation, while payingattention to the particular cases of a reflexive or irreflexive relation. The reasoninglargely ...
متن کاملEvery finite system of T1 uniformities comes from a single distance structure
Using the general notion of distance function introduced in [2], a construction of the finest distance structure (d, M, P ) that induces a given quasiuniformity is given, which leads to a concrete, full, and co-reflective embedding of the category of quasi-uniformities into that of distance spaces. Moreover, when the usual defining condition xUεy :⇔ d(y, x) 6 ε of the basic entourages is genera...
متن کاملAn equivalence functor between local vector lattices and vector lattices
We call a local vector lattice any vector lattice with a distinguished positive strong unit and having exactly one maximal ideal (its radical). We provide a short study of local vector lattices. In this regards, some characterizations of local vector lattices are given. For instance, we prove that a vector lattice with a distinguished strong unit is local if and only if it is clean with non no-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1992
ISSN: 0022-4049
DOI: 10.1016/0022-4049(92)90118-y